-
1 formal symbol
Большой англо-русский и русско-английский словарь > formal symbol
-
2 formal symbol
Математика: формальный символ -
3 formal symbol
мат. -
4 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
5 formal grammar
метод математического описания синтаксиса языков программирования. Наум Хомски (Noam Chomsky) разделил формальные грамматики на четыре класса: грамматики общего вида (unrestricted grammar), контекстно-зависимые (context-sensitive grammar, CSG), контекстно-свободные (context-free grammar, CFG) и регулярные грамматики (regular grammar). Теория формальных грамматик стала составной частью математической лингвистики. Она изучает способы описания закономерностей, которые характеризуют всю совокупность правильных текстов того или иного языкаАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > formal grammar
-
6 nonterminal symbol
= nonterminalсимвол, который в правилах вывода можно заменять другими символамиAnt:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > nonterminal symbol
-
7 terminal symbol
символ, который в правилах вывода не может быть заменён другими символамиAnt:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > terminal symbol
-
8 формальный символ
Большой англо-русский и русско-английский словарь > формальный символ
-
9 conventional
1. a приличный, вежливый, светский2. a обычный, привычный, общепринятый; традиционныйit is conventional — обычно; принято
3. a неодобр. консервативный; чурающийся новизны4. a обусловленный, оговорённый, договорённый5. a находящийся в соответствии с договором, соглашением6. a нормальныйconventional yield — плановая урожайность; нормальный урожай
7. a спец. стандартный; удовлетворяющий техническим условиям8. a воен. обычный; неядерный, неатомныйconventional crime — обычное, общеуголовное преступление
9. a иск. идущий в русле традиций; консервативный10. a иск. условный; схематический, упрощённыйСинонимический ряд:1. accepted (adj.) accepted; received; sanctioned2. button-down (adj.) button-down; square; straight3. customary (adj.) accustomed; customary; normal; prevailing; regular; standard; tralatitious; usual4. formal (adj.) ceremonial; ceremonious; courtly; formal; polite; punctilious; solemn; stately5. ordinary (adj.) common; commonplace; everyday; general; ordinary; pedestrian; prosaic; unoriginal6. orthodox (adj.) conformist; orthodox; traditional7. seemly (adj.) conformant; conforming; decorous; established; proper; seemly8. trite (adj.) conventionalized; disciplined; hackneyed; humdrum; regularized; triteАнтонимический ряд:extraordinary; foreign; immutable; informal; invariable; irregular; legal; natural; strange; unconventional; unorthodox; unusual -
10 note
1. n обыкн. заметка, записьfield notes — данные полевого журнала, полевые данные; полевой журнал
notes of a journey — путевые записки, дорожный журнал, путевой дневник
to make notes — записывать делать заметки ; составлять конспект, делать выписки
to make a note — сделать заметку, записать
2. n примечание; сноска, ссылкаexplanatory note — пояснение, примечание
side note — примечание, помещенное сбоку
bottom note — подстрочное примечание; сноска
3. n записка; короткое личное письмо4. n письменное уведомлениеadvice note — уведомление, авизо, андинование
5. n ком. накладная6. n расписка7. n фин. юр. долговая расписка, простой вексельpromissory note — простой вексель, долговое обязательство
8. n муз. нота; тон9. n тон, нотка10. n звук; пение; крик11. n поэт. арх. музыка, мелодия12. n разг. нечто заслуживающее вниманияthe greatest note that has taken place yet — наиболее примечательное событие из всех, происшедших за последнее время
read, note — изучить, принять во внимание
13. n репутация, известностьa family of note — знаменитый род, громкое имя
14. n отличительный признак; характерное свойство15. n фин. билет; кредитный билет16. n фин. банкнота, банковский билет17. n фин. полигр. знак, не содержащий буквы18. n фин. сигнал, знак; весть, извещение, уведомление19. n фин. редк. условный знак, печать, клеймо20. v замечать, обращать внимание; примечать, подмечатьtaken note of — обратил внимание на; получить внимание
taking note of — обращающий внимание на; уделение внимания
21. v офиц. принимать к сведению; констатироватьwe duly note that … — мы соответственно принимаем к сведению …
22. v делать заметки, записи, записыватьthe author has noted his comments in the margin of the manuscript — автор написал свои замечания на полях рукописи
23. v составлять примечания, пояснения, комментарии; аннотироватьnote statement — оператор комментария; комментарий
24. v упоминать; отмечать; указыватьas the author notes … — как отмечает автор …
25. v фин. опротестовать26. v редк. обозначать, значить; указывать27. v уст. клеймить, позоритьСинонимический ряд:1. bill (noun) bill; certificate; check; draft2. call (noun) call; cry; song3. commentary (noun) annotation; assessment; comment; commentary; criticism; critique; explanation; footnote; interpretation; remark4. fame (noun) celebrity; consequence; distinction; eminence; fame; importance; name; renown; reputation; repute5. IOU (noun) IOU; paper money6. letter (noun) epistle; letter; missive7. mark (noun) glory; illustriousness; lustre; mark; notability; pre-eminence; prestige; prominence8. message (noun) chit; communiquй; dispatch; jotting; memo; memorandum; message; minute; notandum; notation; summary9. notice (noun) attention; cognisance; cognizance; consideration; ear; heed; notice; obiter dictum; observance; observation; regard10. representation (noun) figure; pitch; representation; sign; symbol11. indicate (verb) denote; designate; indicate; mention; refer to12. record (verb) enter; jot down; mark down; record; register; transcribe; write down13. see (verb) behold; comment; descry; discern; distinguish; espy; heed; look at; mark; mind; notice; observe; perceive; recognize; regard; remark; see; twig; viewАнтонимический ряд: -
11 language
1) языкв общем случае язык можно определить как множество предложений, каждое из которых состоит из конечной последовательности символов, принадлежащих конечному алфавиту (alphabet). Таким образом, язык задаётся алфавитом, грамматикой, синтаксисом и семантикой. Языки делятся на естественные (natural language) и искусственные (artificial language), среди которых большую долю составляют языки программирования (programming language)см. тж. algorithmic language, applicative language, assembly language, authoring language, class-based language, compiled language, context-free language, dataflow language, data manipulation language, declarative language, design language, formal language, graphics language, hardware language, high-level language, hybrid language, language construct, language definition, language design, language element, language extension, language implementation, language manual, language processor, low-level language, macro language, metalanguage, microprogramming language, modeling language, native language, nonprocedural language, OOL, parallel language, semantics, sentence, symbol, syntax2) языковыйАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > language
-
12 unit of language
-
13 acceptance
- принятие (напр. теории, гипотезы)
- принятие
- приемка продукции
- приёмка (в информационных технологиях)
- приемка
- прием (в электросвязи)
- паспорт изделия
- акцептованный вексель
- акцептирование
- акцепт
акцепт
Ответ лица, которому адресована оферта, о её принятии.
[ОАО РАО "ЕЭС России" СТО 17330282.27.010.001-2008]
акцепт
Согласие плательщика (покупателя) на оплату предъявленных ему платёжных требований
[Терминологический словарь по строительству на 12 языках (ВНИИИС Госстроя СССР)]Тематики
EN
DE
FR
акцептирование
Гарантирование размещения ценных бумаг (например, акций) посреднической фирмой.
[ОАО РАО "ЕЭС России" СТО 17330282.27.010.001-2008]Тематики
EN
акцептованный вексель
Вексель, имеющий акцепт плательщика (трассата) на его оплату.
[ОАО РАО "ЕЭС России" СТО 17330282.27.010.001-2008]Тематики
EN
паспорт изделия
Документ, подтверждающий, что изделие прошло технический контроль (ОТК) и признано годным к эксплуатации.
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
прием
Получение сообщения, вызова или запроса.
[Л.М. Невдяев. Телекоммуникационные технологии. Англо-русский толковый словарь-справочник. Под редакцией Ю.М. Горностаева. Москва, 2002]Тематики
- электросвязь, основные понятия
EN
приемка
Процесс проверки соответствия изделий требованиям, установленным в конструкторской документации, стандартах и ТУ, договоре на поставку, и оформление соответствующих документов.
[ ГОСТ Р 53711-2009]
приемка
Проверка изделия на соответствие заданной спецификации.
[Л.М. Невдяев. Телекоммуникационные технологии. Англо-русский толковый словарь-справочник. Под редакцией Ю.М. Горностаева. Москва, 2002]Тематики
- испытания и контроль качества продукции
- электросвязь, основные понятия
EN
приемка продукции
утверждение
признание результатов измерений
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
принятие
акцепт
согласие
1. Подпись на векселе (bill of exchange), указывающая, что лицо, на которое он выписан, согласно с условиями векселя. Обычно пишется следующее: “Акцептовано, подлежит оплате в... (наименование и адрес банка) (Подпись)”.
См. также: non-acceptance (непринятие/несогласие).
2. Вексель, который был акцептован.
3. Согласие принять условия предложения; например, согласие страховой компании выплатить определенную сумму страхового покрытия или согласие покупателя купить определенную партию товара по предложенной цене.
[ http://www.vocable.ru/dictionary/533/symbol/97]Тематики
Синонимы
EN
принятие (напр. теории, гипотезы)
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
приёмка (в информационных технологиях)
Формальное соглашение о том, что ИТ-услуга, процесс, план или другой результат деятельности является завершённым, правильным, надёжным и отвечает установленным требованиям. Приёмке обычно предшествует оценка изменения или тестирование; она часто требуется при переходе к следующей стадии проекта или процесса.
См. тж. критерии приёмки услуги.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
acceptance
Formal agreement that an IT service, process, plan or other deliverable is complete, accurate, reliable and meets its specified requirements. Acceptance is usually preceded by change evaluation or testing and is often required before proceeding to the next stage of a project or process.
See also service acceptance criteria.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
EN
3.1.1 приемка (acceptance): Действия уполномоченного представителя потребителя, действующего от имени потребителя или от имени другого предприятия, по принятию в собственность предоставленной идентифицированной продукции или по одобрению предоставленных услуг в качестве частичного или полного выполнения контракта.
Источник: ГОСТ Р ИСО 21247-2007: Статистические методы. Комбинированные системы нуль-приемки и процедуры управления процессом при выборочном контроле продукции оригинал документа
Англо-русский словарь нормативно-технической терминологии > acceptance
См. также в других словарях:
Symbol grounding — The Symbol Grounding Problem is related to the problem of how words (symbols) get their meanings, and hence to the problem of what meaning itself really is. The problem of meaning is in turn related to the problem of consciousness, or how it is… … Wikipedia
Formal ethics — is a formal logical system for describing and evaluating the form as opposed to the content of ethical principles. Formal ethics was introduced by Harry J. Gensler, in part in his 1990 logic textbook Symbolic Logic: Classical and Advanced Systems … Wikipedia
Formal organization — is a fixed set of rules of intra organization procedures and structures. As such, it is usually set out in writing, with a language of rules that ostensibly leave little discretion for interpretation. In some societies and in some organization,… … Wikipedia
Formal grammar — In formal semantics, computer science and linguistics, a formal grammar (also called formation rules) is a precise description of a formal language ndash; that is, of a set of strings over some alphabet. In other words, a grammar describes which… … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal power series — In mathematics, formal power series are devices that make it possible to employ much of the analytical machinery of power series in settings that do not have natural notions of convergence. They are also useful, especially in combinatorics, for… … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Symbol — For other uses, see Symbol (disambiguation). Symbology redirects here. For other uses, see Symbology (disambiguation). A symbol is something which represents an idea, a physical entity or a process but is distinct from it. The purpose of a symbol … Wikipedia
Formal semantics — See also Formal semantics of programming languages. Formal semantics is the study of the semantics, or interpretations, of formal languages. A formal language can be defined apart from any interpretation of it. This is done by designating a set… … Wikipedia
